H-Termination proof of /home/matraf/haskell/eval_FullyBlown

MAYBE 22.046 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/empty.hs
H-Termination of the given Haskell-Program with start terms could not be shown:

↳ HASKELL

  ↳ BR

mainModule Main

((enumFrom :: Char -> [Char]) :: Char -> [Char])

module Main where

import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

mainModule Main

((enumFrom :: Char -> [Char]) :: Char -> [Char])

module Main where

import qualified Prelude

Cond Reductions:
The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

The following Function with conditions

takeWhile p [] = []

takeWhile p (x : xs)

| p x

= x : takeWhile p xs

| otherwise

= []

is transformed to

takeWhile p [] = takeWhile3 p []

takeWhile p (x : xs) = takeWhile2 p (x : xs)

takeWhile1 p x xs True = x : takeWhile p xs

takeWhile1 p x xs False = takeWhile0 p x xs otherwise

takeWhile0 p x xs True = []

takeWhile2 p (x : xs) = takeWhile1 p x xs (p x)

takeWhile3 p [] = []

takeWhile3 vz wu = takeWhile2 vz wu

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

mainModule Main

((enumFrom :: Char -> [Char]) :: Char -> [Char])

module Main where

import qualified Prelude

Num Reduction: All numbers are transformed to thier corresponding representation with Pos, Neg, Succ and Zero.

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

              ↳ Narrow

mainModule Main

(enumFrom :: Char -> [Char])

module Main where

import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="enumFrom",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="enumFrom wv3",fontsize=16,color="black",shape="triangle"];3 -> 4[label="",style="solid", color="black", weight=3];
4[label="map toEnum (enumFromTo (fromEnum wv3) (fromEnum maxBound))",fontsize=16,color="black",shape="box"];4 -> 5[label="",style="solid", color="black", weight=3];
5[label="map toEnum (numericEnumFromTo (fromEnum wv3) (fromEnum maxBound))",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
6[label="map toEnum (takeWhile (flip (<=) (fromEnum maxBound)) (numericEnumFrom (fromEnum wv3)))",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
7[label="map toEnum (takeWhile (flip (<=) (fromEnum maxBound)) (fromEnum wv3 : (numericEnumFrom $! fromEnum wv3 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
8[label="map toEnum (takeWhile2 (flip (<=) (fromEnum maxBound)) (fromEnum wv3 : (numericEnumFrom $! fromEnum wv3 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3];
9[label="map toEnum (takeWhile1 (flip (<=) (fromEnum maxBound)) (fromEnum wv3) (numericEnumFrom $! fromEnum wv3 + fromInt (Pos (Succ Zero))) (flip (<=) (fromEnum maxBound) (fromEnum wv3)))",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
10[label="map toEnum (takeWhile1 (flip (<=) (fromEnum maxBound)) (fromEnum wv3) (numericEnumFrom $! fromEnum wv3 + fromInt (Pos (Succ Zero))) ((<=) fromEnum wv3 fromEnum maxBound))",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3];
11[label="map toEnum (takeWhile1 (flip (<=) (fromEnum maxBound)) (fromEnum wv3) (numericEnumFrom $! fromEnum wv3 + fromInt (Pos (Succ Zero))) (compare (fromEnum wv3) (fromEnum maxBound) /= GT))",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3];
12[label="map toEnum (takeWhile1 (flip (<=) (fromEnum maxBound)) (fromEnum wv3) (numericEnumFrom $! fromEnum wv3 + fromInt (Pos (Succ Zero))) (not (compare (fromEnum wv3) (fromEnum maxBound) == GT)))",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3];
13[label="map toEnum (takeWhile1 (flip (<=) (fromEnum maxBound)) (fromEnum wv3) (numericEnumFrom $! fromEnum wv3 + fromInt (Pos (Succ Zero))) (not (primCmpInt (fromEnum wv3) (fromEnum maxBound) == GT)))",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3];
14[label="map toEnum (takeWhile1 (flip (<=) (fromEnum maxBound)) (primCharToInt wv3) (numericEnumFrom $! primCharToInt wv3 + fromInt (Pos (Succ Zero))) (not (primCmpInt (primCharToInt wv3) (fromEnum maxBound) == GT)))",fontsize=16,color="burlywood",shape="box"];716[label="wv3/Char wv30",fontsize=10,color="white",style="solid",shape="box"];14 -> 716[label="",style="solid", color="burlywood", weight=9];
716 -> 15[label="",style="solid", color="burlywood", weight=3];
15[label="map toEnum (takeWhile1 (flip (<=) (fromEnum maxBound)) (primCharToInt (Char wv30)) (numericEnumFrom $! primCharToInt (Char wv30) + fromInt (Pos (Succ Zero))) (not (primCmpInt (primCharToInt (Char wv30)) (fromEnum maxBound) == GT)))",fontsize=16,color="black",shape="box"];15 -> 16[label="",style="solid", color="black", weight=3];
16[label="map toEnum (takeWhile1 (flip (<=) (fromEnum maxBound)) (Pos wv30) (numericEnumFrom $! Pos wv30 + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos wv30) (fromEnum maxBound) == GT)))",fontsize=16,color="burlywood",shape="box"];717[label="wv30/Succ wv300",fontsize=10,color="white",style="solid",shape="box"];16 -> 717[label="",style="solid", color="burlywood", weight=9];
717 -> 17[label="",style="solid", color="burlywood", weight=3];
718[label="wv30/Zero",fontsize=10,color="white",style="solid",shape="box"];16 -> 718[label="",style="solid", color="burlywood", weight=9];
718 -> 18[label="",style="solid", color="burlywood", weight=3];
17[label="map toEnum (takeWhile1 (flip (<=) (fromEnum maxBound)) (Pos (Succ wv300)) (numericEnumFrom $! Pos (Succ wv300) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ wv300)) (fromEnum maxBound) == GT)))",fontsize=16,color="black",shape="box"];17 -> 19[label="",style="solid", color="black", weight=3];
18[label="map toEnum (takeWhile1 (flip (<=) (fromEnum maxBound)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (fromEnum maxBound) == GT)))",fontsize=16,color="black",shape="box"];18 -> 20[label="",style="solid", color="black", weight=3];
19[label="map toEnum (takeWhile1 (flip (<=) (primCharToInt maxBound)) (Pos (Succ wv300)) (numericEnumFrom $! Pos (Succ wv300) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ wv300)) (primCharToInt maxBound) == GT)))",fontsize=16,color="black",shape="box"];19 -> 21[label="",style="solid", color="black", weight=3];
20[label="map toEnum (takeWhile1 (flip (<=) (primCharToInt maxBound)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (primCharToInt maxBound) == GT)))",fontsize=16,color="black",shape="box"];20 -> 22[label="",style="solid", color="black", weight=3];
21 -> 23[label="",style="dashed", color="red", weight=0];
21[label="map toEnum (takeWhile1 (flip (<=) (primCharToInt (Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Pos (Succ wv300)) (numericEnumFrom $! Pos (Succ wv300) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ wv300)) (primCharToInt (Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) == GT)))",fontsize=16,color="magenta"];21 -> 24[label="",style="dashed", color="magenta", weight=3];
21 -> 25[label="",style="dashed", color="magenta", weight=3];
22 -> 26[label="",style="dashed", color="red", weight=0];
22[label="map toEnum (takeWhile1 (flip (<=) (primCharToInt (Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (primCharToInt (Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) == GT)))",fontsize=16,color="magenta"];22 -> 27[label="",style="dashed", color="magenta", weight=3];
24[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];25[label="wv300",fontsize=16,color="green",shape="box"];23[label="map toEnum (takeWhile1 (flip (<=) (primCharToInt (Char (Succ wv5)))) (Pos (Succ wv6)) (numericEnumFrom $! Pos (Succ wv6) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ wv6)) (primCharToInt (Char (Succ wv5))) == GT)))\n  Enum a",fontsize=16,color="black",shape="triangle"];23 -> 28[label="",style="solid", color="black", weight=3];
27[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];26[label="map toEnum (takeWhile1 (flip (<=) (primCharToInt (Char (Succ wv8)))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (primCharToInt (Char (Succ wv8))) == GT)))\n  Enum a",fontsize=16,color="black",shape="triangle"];26 -> 29[label="",style="solid", color="black", weight=3];
28[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv5))) (Pos (Succ wv6)) (numericEnumFrom $! Pos (Succ wv6) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ wv6)) (Pos (Succ wv5)) == GT)))\n  Enum a",fontsize=16,color="black",shape="triangle"];28 -> 30[label="",style="solid", color="black", weight=3];
29[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv8))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (Pos (Succ wv8)) == GT)))\n  Enum a",fontsize=16,color="black",shape="box"];29 -> 31[label="",style="solid", color="black", weight=3];
30 -> 606[label="",style="dashed", color="red", weight=0];
30[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv5))) (Pos (Succ wv6)) (numericEnumFrom $! Pos (Succ wv6) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ wv6) (Succ wv5) == GT)))\n  Enum a",fontsize=16,color="magenta"];30 -> 607[label="",style="dashed", color="magenta", weight=3];
30 -> 608[label="",style="dashed", color="magenta", weight=3];
30 -> 609[label="",style="dashed", color="magenta", weight=3];
30 -> 610[label="",style="dashed", color="magenta", weight=3];
31[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv8))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero (Succ wv8) == GT)))\n  Enum a",fontsize=16,color="black",shape="box"];31 -> 33[label="",style="solid", color="black", weight=3];
607[label="Succ wv5",fontsize=16,color="green",shape="box"];608[label="Succ wv6",fontsize=16,color="green",shape="box"];609[label="wv6",fontsize=16,color="green",shape="box"];610[label="wv5",fontsize=16,color="green",shape="box"];606[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (Succ wv27)) (numericEnumFrom $! Pos (Succ wv27) + fromInt (Pos (Succ Zero))) (not (primCmpNat wv28 wv29 == GT)))\n  Enum a",fontsize=16,color="burlywood",shape="triangle"];722[label="wv28/Succ wv280",fontsize=10,color="white",style="solid",shape="box"];606 -> 722[label="",style="solid", color="burlywood", weight=9];
722 -> 651[label="",style="solid", color="burlywood", weight=3];
723[label="wv28/Zero",fontsize=10,color="white",style="solid",shape="box"];606 -> 723[label="",style="solid", color="burlywood", weight=9];
723 -> 652[label="",style="solid", color="burlywood", weight=3];
33[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv8))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (LT == GT)))\n  Enum a",fontsize=16,color="black",shape="box"];33 -> 36[label="",style="solid", color="black", weight=3];
651[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (Succ wv27)) (numericEnumFrom $! Pos (Succ wv27) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ wv280) wv29 == GT)))\n  Enum a",fontsize=16,color="burlywood",shape="box"];724[label="wv29/Succ wv290",fontsize=10,color="white",style="solid",shape="box"];651 -> 724[label="",style="solid", color="burlywood", weight=9];
724 -> 653[label="",style="solid", color="burlywood", weight=3];
725[label="wv29/Zero",fontsize=10,color="white",style="solid",shape="box"];651 -> 725[label="",style="solid", color="burlywood", weight=9];
725 -> 654[label="",style="solid", color="burlywood", weight=3];
652[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (Succ wv27)) (numericEnumFrom $! Pos (Succ wv27) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero wv29 == GT)))\n  Enum a",fontsize=16,color="burlywood",shape="box"];726[label="wv29/Succ wv290",fontsize=10,color="white",style="solid",shape="box"];652 -> 726[label="",style="solid", color="burlywood", weight=9];
726 -> 655[label="",style="solid", color="burlywood", weight=3];
727[label="wv29/Zero",fontsize=10,color="white",style="solid",shape="box"];652 -> 727[label="",style="solid", color="burlywood", weight=9];
727 -> 656[label="",style="solid", color="burlywood", weight=3];
36[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv8))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not False))\n  Enum a",fontsize=16,color="black",shape="box"];36 -> 41[label="",style="solid", color="black", weight=3];
653[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (Succ wv27)) (numericEnumFrom $! Pos (Succ wv27) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ wv280) (Succ wv290) == GT)))\n  Enum a",fontsize=16,color="black",shape="box"];653 -> 657[label="",style="solid", color="black", weight=3];
654[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (Succ wv27)) (numericEnumFrom $! Pos (Succ wv27) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ wv280) Zero == GT)))\n  Enum a",fontsize=16,color="black",shape="box"];654 -> 658[label="",style="solid", color="black", weight=3];
655[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (Succ wv27)) (numericEnumFrom $! Pos (Succ wv27) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero (Succ wv290) == GT)))\n  Enum a",fontsize=16,color="black",shape="box"];655 -> 659[label="",style="solid", color="black", weight=3];
656[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (Succ wv27)) (numericEnumFrom $! Pos (Succ wv27) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero Zero == GT)))\n  Enum a",fontsize=16,color="black",shape="box"];656 -> 660[label="",style="solid", color="black", weight=3];
41[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv8))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) True)\n  Enum a",fontsize=16,color="black",shape="box"];41 -> 46[label="",style="solid", color="black", weight=3];
657 -> 606[label="",style="dashed", color="red", weight=0];
657[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (Succ wv27)) (numericEnumFrom $! Pos (Succ wv27) + fromInt (Pos (Succ Zero))) (not (primCmpNat wv280 wv290 == GT)))\n  Enum a",fontsize=16,color="magenta"];657 -> 661[label="",style="dashed", color="magenta", weight=3];
657 -> 662[label="",style="dashed", color="magenta", weight=3];
658[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (Succ wv27)) (numericEnumFrom $! Pos (Succ wv27) + fromInt (Pos (Succ Zero))) (not (GT == GT)))\n  Enum a",fontsize=16,color="black",shape="box"];658 -> 663[label="",style="solid", color="black", weight=3];
659[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (Succ wv27)) (numericEnumFrom $! Pos (Succ wv27) + fromInt (Pos (Succ Zero))) (not (LT == GT)))\n  Enum a",fontsize=16,color="black",shape="box"];659 -> 664[label="",style="solid", color="black", weight=3];
660[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (Succ wv27)) (numericEnumFrom $! Pos (Succ wv27) + fromInt (Pos (Succ Zero))) (not (EQ == GT)))\n  Enum a",fontsize=16,color="black",shape="box"];660 -> 665[label="",style="solid", color="black", weight=3];
46[label="map toEnum (Pos Zero : takeWhile (flip (<=) (Pos (Succ wv8))) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))\n  Enum a",fontsize=16,color="black",shape="box"];46 -> 52[label="",style="solid", color="black", weight=3];
661[label="wv290",fontsize=16,color="green",shape="box"];662[label="wv280",fontsize=16,color="green",shape="box"];663[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (Succ wv27)) (numericEnumFrom $! Pos (Succ wv27) + fromInt (Pos (Succ Zero))) (not True))\n  Enum a",fontsize=16,color="black",shape="box"];663 -> 666[label="",style="solid", color="black", weight=3];
664[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (Succ wv27)) (numericEnumFrom $! Pos (Succ wv27) + fromInt (Pos (Succ Zero))) (not False))\n  Enum a",fontsize=16,color="black",shape="triangle"];664 -> 667[label="",style="solid", color="black", weight=3];
665 -> 664[label="",style="dashed", color="red", weight=0];
665[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (Succ wv27)) (numericEnumFrom $! Pos (Succ wv27) + fromInt (Pos (Succ Zero))) (not False))\n  Enum a",fontsize=16,color="magenta"];52[label="toEnum (Pos Zero) : map toEnum (takeWhile (flip (<=) (Pos (Succ wv8))) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))\n  Enum a",fontsize=16,color="green",shape="box"];52 -> 60[label="",style="dashed", color="green", weight=3];
52 -> 61[label="",style="dashed", color="green", weight=3];
666[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (Succ wv27)) (numericEnumFrom $! Pos (Succ wv27) + fromInt (Pos (Succ Zero))) False)\n  Enum a",fontsize=16,color="black",shape="box"];666 -> 668[label="",style="solid", color="black", weight=3];
667[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (Succ wv27)) (numericEnumFrom $! Pos (Succ wv27) + fromInt (Pos (Succ Zero))) True)\n  Enum a",fontsize=16,color="black",shape="box"];667 -> 669[label="",style="solid", color="black", weight=3];
60[label="toEnum (Pos Zero)\n  Enum a",fontsize=16,color="blue",shape="box"];730[label="toEnum :: Int -> Integer",fontsize=10,color="white",style="solid",shape="box"];60 -> 730[label="",style="solid", color="blue", weight=9];
730 -> 69[label="",style="solid", color="blue", weight=3];
731[label="toEnum :: Int -> Ratio a",fontsize=10,color="white",style="solid",shape="box"];60 -> 731[label="",style="solid", color="blue", weight=9];
731 -> 70[label="",style="solid", color="blue", weight=3];
732[label="toEnum :: Int -> Float",fontsize=10,color="white",style="solid",shape="box"];60 -> 732[label="",style="solid", color="blue", weight=9];
732 -> 71[label="",style="solid", color="blue", weight=3];
733[label="toEnum :: Int -> Ordering",fontsize=10,color="white",style="solid",shape="box"];60 -> 733[label="",style="solid", color="blue", weight=9];
733 -> 72[label="",style="solid", color="blue", weight=3];
734[label="toEnum :: Int -> Double",fontsize=10,color="white",style="solid",shape="box"];60 -> 734[label="",style="solid", color="blue", weight=9];
734 -> 73[label="",style="solid", color="blue", weight=3];
735[label="toEnum :: Int -> Char",fontsize=10,color="white",style="solid",shape="box"];60 -> 735[label="",style="solid", color="blue", weight=9];
735 -> 74[label="",style="solid", color="blue", weight=3];
736[label="toEnum :: Int -> Int",fontsize=10,color="white",style="solid",shape="box"];60 -> 736[label="",style="solid", color="blue", weight=9];
736 -> 75[label="",style="solid", color="blue", weight=3];
737[label="toEnum :: Int -> ()",fontsize=10,color="white",style="solid",shape="box"];60 -> 737[label="",style="solid", color="blue", weight=9];
737 -> 76[label="",style="solid", color="blue", weight=3];
738[label="toEnum :: Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];60 -> 738[label="",style="solid", color="blue", weight=9];
738 -> 77[label="",style="solid", color="blue", weight=3];
61[label="map toEnum (takeWhile (flip (<=) (Pos (Succ wv8))) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))\n  Enum a",fontsize=16,color="black",shape="box"];61 -> 78[label="",style="solid", color="black", weight=3];
668[label="map toEnum (takeWhile0 (flip (<=) (Pos (Succ wv26))) (Pos (Succ wv27)) (numericEnumFrom $! Pos (Succ wv27) + fromInt (Pos (Succ Zero))) otherwise)\n  Enum a",fontsize=16,color="black",shape="box"];668 -> 670[label="",style="solid", color="black", weight=3];
669[label="map toEnum (Pos (Succ wv27) : takeWhile (flip (<=) (Pos (Succ wv26))) (numericEnumFrom $! Pos (Succ wv27) + fromInt (Pos (Succ Zero))))\n  Enum a",fontsize=16,color="black",shape="box"];669 -> 671[label="",style="solid", color="black", weight=3];
69[label="toEnum (Pos Zero)",fontsize=16,color="black",shape="box"];69 -> 87[label="",style="solid", color="black", weight=3];
70[label="toEnum (Pos Zero)\n  Integral a",fontsize=16,color="black",shape="box"];70 -> 88[label="",style="solid", color="black", weight=3];
71[label="toEnum (Pos Zero)",fontsize=16,color="black",shape="box"];71 -> 89[label="",style="solid", color="black", weight=3];
72[label="toEnum (Pos Zero)",fontsize=16,color="black",shape="box"];72 -> 90[label="",style="solid", color="black", weight=3];
73[label="toEnum (Pos Zero)",fontsize=16,color="black",shape="box"];73 -> 91[label="",style="solid", color="black", weight=3];
74[label="toEnum (Pos Zero)",fontsize=16,color="black",shape="box"];74 -> 92[label="",style="solid", color="black", weight=3];
75[label="toEnum (Pos Zero)",fontsize=16,color="black",shape="box"];75 -> 93[label="",style="solid", color="black", weight=3];
76[label="toEnum (Pos Zero)",fontsize=16,color="black",shape="box"];76 -> 94[label="",style="solid", color="black", weight=3];
77[label="toEnum (Pos Zero)",fontsize=16,color="black",shape="box"];77 -> 95[label="",style="solid", color="black", weight=3];
78[label="map toEnum (takeWhile (flip (<=) (Pos (Succ wv8))) (Pos Zero + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos Zero + fromInt (Pos (Succ Zero)))))\n  Enum a",fontsize=16,color="black",shape="box"];78 -> 96[label="",style="solid", color="black", weight=3];
670[label="map toEnum (takeWhile0 (flip (<=) (Pos (Succ wv26))) (Pos (Succ wv27)) (numericEnumFrom $! Pos (Succ wv27) + fromInt (Pos (Succ Zero))) True)\n  Enum a",fontsize=16,color="black",shape="box"];670 -> 672[label="",style="solid", color="black", weight=3];
671[label="toEnum (Pos (Succ wv27)) : map toEnum (takeWhile (flip (<=) (Pos (Succ wv26))) (numericEnumFrom $! Pos (Succ wv27) + fromInt (Pos (Succ Zero))))\n  Enum a",fontsize=16,color="green",shape="box"];671 -> 673[label="",style="dashed", color="green", weight=3];
671 -> 674[label="",style="dashed", color="green", weight=3];
87[label="error []",fontsize=16,color="red",shape="box"];88[label="error []",fontsize=16,color="red",shape="box"];89[label="error []",fontsize=16,color="red",shape="box"];90[label="error []",fontsize=16,color="red",shape="box"];91[label="error []",fontsize=16,color="red",shape="box"];92[label="primIntToChar (Pos Zero)",fontsize=16,color="black",shape="box"];92 -> 109[label="",style="solid", color="black", weight=3];
93[label="error []",fontsize=16,color="red",shape="box"];94[label="error []",fontsize=16,color="red",shape="box"];95[label="error []",fontsize=16,color="red",shape="box"];96[label="map toEnum (takeWhile (flip (<=) (Pos (Succ wv8))) (enforceWHNF (WHNF (Pos Zero + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos Zero + fromInt (Pos (Succ Zero))))))\n  Enum a",fontsize=16,color="black",shape="box"];96 -> 110[label="",style="solid", color="black", weight=3];
672[label="map toEnum []\n  Enum a",fontsize=16,color="black",shape="box"];672 -> 675[label="",style="solid", color="black", weight=3];
673[label="toEnum (Pos (Succ wv27))\n  Enum a",fontsize=16,color="blue",shape="box"];739[label="toEnum :: Int -> Integer",fontsize=10,color="white",style="solid",shape="box"];673 -> 739[label="",style="solid", color="blue", weight=9];
739 -> 676[label="",style="solid", color="blue", weight=3];
740[label="toEnum :: Int -> Ratio a",fontsize=10,color="white",style="solid",shape="box"];673 -> 740[label="",style="solid", color="blue", weight=9];
740 -> 677[label="",style="solid", color="blue", weight=3];
741[label="toEnum :: Int -> Float",fontsize=10,color="white",style="solid",shape="box"];673 -> 741[label="",style="solid", color="blue", weight=9];
741 -> 678[label="",style="solid", color="blue", weight=3];
742[label="toEnum :: Int -> Ordering",fontsize=10,color="white",style="solid",shape="box"];673 -> 742[label="",style="solid", color="blue", weight=9];
742 -> 679[label="",style="solid", color="blue", weight=3];
743[label="toEnum :: Int -> Double",fontsize=10,color="white",style="solid",shape="box"];673 -> 743[label="",style="solid", color="blue", weight=9];
743 -> 680[label="",style="solid", color="blue", weight=3];
744[label="toEnum :: Int -> Char",fontsize=10,color="white",style="solid",shape="box"];673 -> 744[label="",style="solid", color="blue", weight=9];
744 -> 681[label="",style="solid", color="blue", weight=3];
745[label="toEnum :: Int -> Int",fontsize=10,color="white",style="solid",shape="box"];673 -> 745[label="",style="solid", color="blue", weight=9];
745 -> 682[label="",style="solid", color="blue", weight=3];
746[label="toEnum :: Int -> ()",fontsize=10,color="white",style="solid",shape="box"];673 -> 746[label="",style="solid", color="blue", weight=9];
746 -> 683[label="",style="solid", color="blue", weight=3];
747[label="toEnum :: Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];673 -> 747[label="",style="solid", color="blue", weight=9];
747 -> 684[label="",style="solid", color="blue", weight=3];
674[label="map toEnum (takeWhile (flip (<=) (Pos (Succ wv26))) (numericEnumFrom $! Pos (Succ wv27) + fromInt (Pos (Succ Zero))))\n  Enum a",fontsize=16,color="black",shape="box"];674 -> 685[label="",style="solid", color="black", weight=3];
109[label="Char Zero",fontsize=16,color="green",shape="box"];110[label="map toEnum (takeWhile (flip (<=) (Pos (Succ wv8))) (enforceWHNF (WHNF (primPlusInt (Pos Zero) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusInt (Pos Zero) (fromInt (Pos (Succ Zero)))))))\n  Enum a",fontsize=16,color="black",shape="box"];110 -> 139[label="",style="solid", color="black", weight=3];
675[label="[]\n  Enum a",fontsize=16,color="green",shape="box"];676[label="toEnum (Pos (Succ wv27))",fontsize=16,color="black",shape="box"];676 -> 686[label="",style="solid", color="black", weight=3];
677[label="toEnum (Pos (Succ wv27))\n  Integral a",fontsize=16,color="black",shape="box"];677 -> 687[label="",style="solid", color="black", weight=3];
678[label="toEnum (Pos (Succ wv27))",fontsize=16,color="black",shape="box"];678 -> 688[label="",style="solid", color="black", weight=3];
679[label="toEnum (Pos (Succ wv27))",fontsize=16,color="black",shape="box"];679 -> 689[label="",style="solid", color="black", weight=3];
680[label="toEnum (Pos (Succ wv27))",fontsize=16,color="black",shape="box"];680 -> 690[label="",style="solid", color="black", weight=3];
681[label="toEnum (Pos (Succ wv27))",fontsize=16,color="black",shape="box"];681 -> 691[label="",style="solid", color="black", weight=3];
682[label="toEnum (Pos (Succ wv27))",fontsize=16,color="black",shape="box"];682 -> 692[label="",style="solid", color="black", weight=3];
683[label="toEnum (Pos (Succ wv27))",fontsize=16,color="black",shape="box"];683 -> 693[label="",style="solid", color="black", weight=3];
684[label="toEnum (Pos (Succ wv27))",fontsize=16,color="black",shape="box"];684 -> 694[label="",style="solid", color="black", weight=3];
685[label="map toEnum (takeWhile (flip (<=) (Pos (Succ wv26))) (Pos (Succ wv27) + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos (Succ wv27) + fromInt (Pos (Succ Zero)))))\n  Enum a",fontsize=16,color="black",shape="box"];685 -> 695[label="",style="solid", color="black", weight=3];
139[label="map toEnum (takeWhile (flip (<=) (Pos (Succ wv8))) (enforceWHNF (WHNF (primPlusInt (Pos Zero) (Pos (Succ Zero)))) (numericEnumFrom (primPlusInt (Pos Zero) (Pos (Succ Zero))))))\n  Enum a",fontsize=16,color="black",shape="box"];139 -> 159[label="",style="solid", color="black", weight=3];
686[label="error []",fontsize=16,color="red",shape="box"];687[label="error []",fontsize=16,color="red",shape="box"];688[label="error []",fontsize=16,color="red",shape="box"];689[label="error []",fontsize=16,color="red",shape="box"];690[label="error []",fontsize=16,color="red",shape="box"];691[label="primIntToChar (Pos (Succ wv27))",fontsize=16,color="black",shape="box"];691 -> 696[label="",style="solid", color="black", weight=3];
692[label="error []",fontsize=16,color="red",shape="box"];693[label="error []",fontsize=16,color="red",shape="box"];694[label="error []",fontsize=16,color="red",shape="box"];695[label="map toEnum (takeWhile (flip (<=) (Pos (Succ wv26))) (enforceWHNF (WHNF (Pos (Succ wv27) + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos (Succ wv27) + fromInt (Pos (Succ Zero))))))\n  Enum a",fontsize=16,color="black",shape="box"];695 -> 697[label="",style="solid", color="black", weight=3];
159[label="map toEnum (takeWhile (flip (<=) (Pos (Succ wv8))) (enforceWHNF (WHNF (Pos (primPlusNat Zero (Succ Zero)))) (numericEnumFrom (Pos (primPlusNat Zero (Succ Zero))))))\n  Enum a",fontsize=16,color="black",shape="box"];159 -> 175[label="",style="solid", color="black", weight=3];
696[label="Char (Succ wv27)",fontsize=16,color="green",shape="box"];697[label="map toEnum (takeWhile (flip (<=) (Pos (Succ wv26))) (enforceWHNF (WHNF (primPlusInt (Pos (Succ wv27)) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusInt (Pos (Succ wv27)) (fromInt (Pos (Succ Zero)))))))\n  Enum a",fontsize=16,color="black",shape="box"];697 -> 698[label="",style="solid", color="black", weight=3];
175[label="map toEnum (takeWhile (flip (<=) (Pos (Succ wv8))) (numericEnumFrom (Pos (primPlusNat Zero (Succ Zero)))))\n  Enum a",fontsize=16,color="black",shape="box"];175 -> 205[label="",style="solid", color="black", weight=3];
698[label="map toEnum (takeWhile (flip (<=) (Pos (Succ wv26))) (enforceWHNF (WHNF (primPlusInt (Pos (Succ wv27)) (Pos (Succ Zero)))) (numericEnumFrom (primPlusInt (Pos (Succ wv27)) (Pos (Succ Zero))))))\n  Enum a",fontsize=16,color="black",shape="box"];698 -> 699[label="",style="solid", color="black", weight=3];
205[label="map toEnum (takeWhile (flip (<=) (Pos (Succ wv8))) (Pos (primPlusNat Zero (Succ Zero)) : (numericEnumFrom $! Pos (primPlusNat Zero (Succ Zero)) + fromInt (Pos (Succ Zero)))))\n  Enum a",fontsize=16,color="black",shape="box"];205 -> 227[label="",style="solid", color="black", weight=3];
699[label="map toEnum (takeWhile (flip (<=) (Pos (Succ wv26))) (enforceWHNF (WHNF (Pos (primPlusNat (Succ wv27) (Succ Zero)))) (numericEnumFrom (Pos (primPlusNat (Succ wv27) (Succ Zero))))))\n  Enum a",fontsize=16,color="black",shape="box"];699 -> 700[label="",style="solid", color="black", weight=3];
227[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ wv8))) (Pos (primPlusNat Zero (Succ Zero)) : (numericEnumFrom $! Pos (primPlusNat Zero (Succ Zero)) + fromInt (Pos (Succ Zero)))))\n  Enum a",fontsize=16,color="black",shape="box"];227 -> 245[label="",style="solid", color="black", weight=3];
700[label="map toEnum (takeWhile (flip (<=) (Pos (Succ wv26))) (numericEnumFrom (Pos (primPlusNat (Succ wv27) (Succ Zero)))))\n  Enum a",fontsize=16,color="black",shape="box"];700 -> 701[label="",style="solid", color="black", weight=3];
245[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv8))) (Pos (primPlusNat Zero (Succ Zero))) (numericEnumFrom $! Pos (primPlusNat Zero (Succ Zero)) + fromInt (Pos (Succ Zero))) (flip (<=) (Pos (Succ wv8)) (Pos (primPlusNat Zero (Succ Zero)))))\n  Enum a",fontsize=16,color="black",shape="box"];245 -> 277[label="",style="solid", color="black", weight=3];
701[label="map toEnum (takeWhile (flip (<=) (Pos (Succ wv26))) (Pos (primPlusNat (Succ wv27) (Succ Zero)) : (numericEnumFrom $! Pos (primPlusNat (Succ wv27) (Succ Zero)) + fromInt (Pos (Succ Zero)))))\n  Enum a",fontsize=16,color="black",shape="box"];701 -> 702[label="",style="solid", color="black", weight=3];
277[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv8))) (Pos (primPlusNat Zero (Succ Zero))) (numericEnumFrom $! Pos (primPlusNat Zero (Succ Zero)) + fromInt (Pos (Succ Zero))) ((<=) Pos (primPlusNat Zero (Succ Zero)) Pos (Succ wv8)))\n  Enum a",fontsize=16,color="black",shape="box"];277 -> 301[label="",style="solid", color="black", weight=3];
702[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ wv26))) (Pos (primPlusNat (Succ wv27) (Succ Zero)) : (numericEnumFrom $! Pos (primPlusNat (Succ wv27) (Succ Zero)) + fromInt (Pos (Succ Zero)))))\n  Enum a",fontsize=16,color="black",shape="box"];702 -> 703[label="",style="solid", color="black", weight=3];
301[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv8))) (Pos (primPlusNat Zero (Succ Zero))) (numericEnumFrom $! Pos (primPlusNat Zero (Succ Zero)) + fromInt (Pos (Succ Zero))) (compare (Pos (primPlusNat Zero (Succ Zero))) (Pos (Succ wv8)) /= GT))\n  Enum a",fontsize=16,color="black",shape="box"];301 -> 323[label="",style="solid", color="black", weight=3];
703[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (primPlusNat (Succ wv27) (Succ Zero))) (numericEnumFrom $! Pos (primPlusNat (Succ wv27) (Succ Zero)) + fromInt (Pos (Succ Zero))) (flip (<=) (Pos (Succ wv26)) (Pos (primPlusNat (Succ wv27) (Succ Zero)))))\n  Enum a",fontsize=16,color="black",shape="box"];703 -> 704[label="",style="solid", color="black", weight=3];
323[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv8))) (Pos (primPlusNat Zero (Succ Zero))) (numericEnumFrom $! Pos (primPlusNat Zero (Succ Zero)) + fromInt (Pos (Succ Zero))) (not (compare (Pos (primPlusNat Zero (Succ Zero))) (Pos (Succ wv8)) == GT)))\n  Enum a",fontsize=16,color="black",shape="box"];323 -> 356[label="",style="solid", color="black", weight=3];
704[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (primPlusNat (Succ wv27) (Succ Zero))) (numericEnumFrom $! Pos (primPlusNat (Succ wv27) (Succ Zero)) + fromInt (Pos (Succ Zero))) ((<=) Pos (primPlusNat (Succ wv27) (Succ Zero)) Pos (Succ wv26)))\n  Enum a",fontsize=16,color="black",shape="box"];704 -> 705[label="",style="solid", color="black", weight=3];
356[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv8))) (Pos (primPlusNat Zero (Succ Zero))) (numericEnumFrom $! Pos (primPlusNat Zero (Succ Zero)) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (primPlusNat Zero (Succ Zero))) (Pos (Succ wv8)) == GT)))\n  Enum a",fontsize=16,color="black",shape="box"];356 -> 381[label="",style="solid", color="black", weight=3];
705[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (primPlusNat (Succ wv27) (Succ Zero))) (numericEnumFrom $! Pos (primPlusNat (Succ wv27) (Succ Zero)) + fromInt (Pos (Succ Zero))) (compare (Pos (primPlusNat (Succ wv27) (Succ Zero))) (Pos (Succ wv26)) /= GT))\n  Enum a",fontsize=16,color="black",shape="box"];705 -> 706[label="",style="solid", color="black", weight=3];
381 -> 28[label="",style="dashed", color="red", weight=0];
381[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv8))) (Pos (Succ Zero)) (numericEnumFrom $! Pos (Succ Zero) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos (Succ wv8)) == GT)))\n  Enum a",fontsize=16,color="magenta"];381 -> 402[label="",style="dashed", color="magenta", weight=3];
381 -> 403[label="",style="dashed", color="magenta", weight=3];
706[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (primPlusNat (Succ wv27) (Succ Zero))) (numericEnumFrom $! Pos (primPlusNat (Succ wv27) (Succ Zero)) + fromInt (Pos (Succ Zero))) (not (compare (Pos (primPlusNat (Succ wv27) (Succ Zero))) (Pos (Succ wv26)) == GT)))\n  Enum a",fontsize=16,color="black",shape="box"];706 -> 707[label="",style="solid", color="black", weight=3];
402[label="wv8",fontsize=16,color="green",shape="box"];403[label="Zero",fontsize=16,color="green",shape="box"];707[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (primPlusNat (Succ wv27) (Succ Zero))) (numericEnumFrom $! Pos (primPlusNat (Succ wv27) (Succ Zero)) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (primPlusNat (Succ wv27) (Succ Zero))) (Pos (Succ wv26)) == GT)))\n  Enum a",fontsize=16,color="black",shape="box"];707 -> 708[label="",style="solid", color="black", weight=3];
708 -> 28[label="",style="dashed", color="red", weight=0];
708[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ wv26))) (Pos (Succ (Succ (primPlusNat wv27 Zero)))) (numericEnumFrom $! Pos (Succ (Succ (primPlusNat wv27 Zero))) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ (Succ (primPlusNat wv27 Zero)))) (Pos (Succ wv26)) == GT)))\n  Enum a",fontsize=16,color="magenta"];708 -> 709[label="",style="dashed", color="magenta", weight=3];
708 -> 710[label="",style="dashed", color="magenta", weight=3];
709[label="wv26",fontsize=16,color="green",shape="box"];710[label="Succ (primPlusNat wv27 Zero)",fontsize=16,color="green",shape="box"];710 -> 711[label="",style="dashed", color="green", weight=3];
711[label="primPlusNat wv27 Zero",fontsize=16,color="burlywood",shape="box"];750[label="wv27/Succ wv270",fontsize=10,color="white",style="solid",shape="box"];711 -> 750[label="",style="solid", color="burlywood", weight=9];
750 -> 712[label="",style="solid", color="burlywood", weight=3];
751[label="wv27/Zero",fontsize=10,color="white",style="solid",shape="box"];711 -> 751[label="",style="solid", color="burlywood", weight=9];
751 -> 713[label="",style="solid", color="burlywood", weight=3];
712[label="primPlusNat (Succ wv270) Zero",fontsize=16,color="black",shape="box"];712 -> 714[label="",style="solid", color="black", weight=3];
713[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];713 -> 715[label="",style="solid", color="black", weight=3];
714[label="Succ wv270",fontsize=16,color="green",shape="box"];715[label="Zero",fontsize=16,color="green",shape="box"];}

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ QDP

                  ↳ Instantiation

              ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_map1(wv26, wv27, ba) → new_map0(wv26, Succ(new_primPlusNat(wv27)), ba)
new_map(wv26, wv27, Zero, Succ(wv290), ba) → new_map0(wv26, Succ(new_primPlusNat(wv27)), ba)
new_map(wv26, wv27, Zero, Zero, ba) → new_map1(wv26, wv27, ba)
new_map(wv26, wv27, Succ(wv280), Succ(wv290), ba) → new_map(wv26, wv27, wv280, wv290, ba)
new_map0(wv5, wv6, bb) → new_map(wv5, wv6, Succ(wv6), Succ(wv5), bb)

The TRS R consists of the following rules:

new_primPlusNat(Succ(wv270)) → Succ(wv270)
new_primPlusNat(Zero) → Zero

The set Q consists of the following terms:

new_primPlusNat(Zero)
new_primPlusNat(Succ(x0))

We have to consider all minimal (P,Q,R)-chains.
By instantiating [15] the rule new_map0(wv5, wv6, bb) → new_map(wv5, wv6, Succ(wv6), Succ(wv5), bb) we obtained the following new rules:

new_map0(z0, Succ(y_0), z2) → new_map(z0, Succ(y_0), Succ(Succ(y_0)), Succ(z0), z2)

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ QDP

                  ↳ Instantiation

                    ↳ QDP

                      ↳ ForwardInstantiation

              ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_map0(z0, Succ(y_0), z2) → new_map(z0, Succ(y_0), Succ(Succ(y_0)), Succ(z0), z2)
new_map1(wv26, wv27, ba) → new_map0(wv26, Succ(new_primPlusNat(wv27)), ba)
new_map(wv26, wv27, Zero, Zero, ba) → new_map1(wv26, wv27, ba)
new_map(wv26, wv27, Zero, Succ(wv290), ba) → new_map0(wv26, Succ(new_primPlusNat(wv27)), ba)
new_map(wv26, wv27, Succ(wv280), Succ(wv290), ba) → new_map(wv26, wv27, wv280, wv290, ba)

The TRS R consists of the following rules:

new_primPlusNat(Succ(wv270)) → Succ(wv270)
new_primPlusNat(Zero) → Zero

The set Q consists of the following terms:

new_primPlusNat(Zero)
new_primPlusNat(Succ(x0))

We have to consider all minimal (P,Q,R)-chains.
By forward instantiating [14] the rule new_map(wv26, wv27, Succ(wv280), Succ(wv290), ba) → new_map(wv26, wv27, wv280, wv290, ba) we obtained the following new rules:

new_map(x0, x1, Succ(Zero), Succ(Zero), x4) → new_map(x0, x1, Zero, Zero, x4)
new_map(x0, x1, Succ(Zero), Succ(Succ(y_2)), x4) → new_map(x0, x1, Zero, Succ(y_2), x4)
new_map(x0, x1, Succ(Succ(y_2)), Succ(Succ(y_3)), x4) → new_map(x0, x1, Succ(y_2), Succ(y_3), x4)

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ QDP

                  ↳ Instantiation

                    ↳ QDP

                      ↳ ForwardInstantiation

                        ↳ QDP

                          ↳ ForwardInstantiation

              ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_map1(wv26, wv27, ba) → new_map0(wv26, Succ(new_primPlusNat(wv27)), ba)
new_map0(z0, Succ(y_0), z2) → new_map(z0, Succ(y_0), Succ(Succ(y_0)), Succ(z0), z2)
new_map(x0, x1, Succ(Zero), Succ(Zero), x4) → new_map(x0, x1, Zero, Zero, x4)
new_map(wv26, wv27, Zero, Succ(wv290), ba) → new_map0(wv26, Succ(new_primPlusNat(wv27)), ba)
new_map(wv26, wv27, Zero, Zero, ba) → new_map1(wv26, wv27, ba)
new_map(x0, x1, Succ(Zero), Succ(Succ(y_2)), x4) → new_map(x0, x1, Zero, Succ(y_2), x4)
new_map(x0, x1, Succ(Succ(y_2)), Succ(Succ(y_3)), x4) → new_map(x0, x1, Succ(y_2), Succ(y_3), x4)

The TRS R consists of the following rules:

new_primPlusNat(Succ(wv270)) → Succ(wv270)
new_primPlusNat(Zero) → Zero

The set Q consists of the following terms:

new_primPlusNat(Zero)
new_primPlusNat(Succ(x0))

We have to consider all minimal (P,Q,R)-chains.
By forward instantiating [14] the rule new_map0(z0, Succ(y_0), z2) → new_map(z0, Succ(y_0), Succ(Succ(y_0)), Succ(z0), z2) we obtained the following new rules:

new_map0(Succ(y_3), Succ(x1), x2) → new_map(Succ(y_3), Succ(x1), Succ(Succ(x1)), Succ(Succ(y_3)), x2)

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ QDP

                  ↳ Instantiation

                    ↳ QDP

                      ↳ ForwardInstantiation

                        ↳ QDP

                          ↳ ForwardInstantiation

                            ↳ QDP

                              ↳ MNOCProof

              ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_map1(wv26, wv27, ba) → new_map0(wv26, Succ(new_primPlusNat(wv27)), ba)
new_map(wv26, wv27, Zero, Zero, ba) → new_map1(wv26, wv27, ba)
new_map(wv26, wv27, Zero, Succ(wv290), ba) → new_map0(wv26, Succ(new_primPlusNat(wv27)), ba)
new_map(x0, x1, Succ(Zero), Succ(Zero), x4) → new_map(x0, x1, Zero, Zero, x4)
new_map(x0, x1, Succ(Zero), Succ(Succ(y_2)), x4) → new_map(x0, x1, Zero, Succ(y_2), x4)
new_map0(Succ(y_3), Succ(x1), x2) → new_map(Succ(y_3), Succ(x1), Succ(Succ(x1)), Succ(Succ(y_3)), x2)
new_map(x0, x1, Succ(Succ(y_2)), Succ(Succ(y_3)), x4) → new_map(x0, x1, Succ(y_2), Succ(y_3), x4)

The TRS R consists of the following rules:

new_primPlusNat(Succ(wv270)) → Succ(wv270)
new_primPlusNat(Zero) → Zero

The set Q consists of the following terms:

new_primPlusNat(Zero)
new_primPlusNat(Succ(x0))

We have to consider all minimal (P,Q,R)-chains.
We use the modular non-overlap check [17] to decrease Q to the empty set.

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ QDP

                  ↳ Instantiation

                    ↳ QDP

                      ↳ ForwardInstantiation

                        ↳ QDP

                          ↳ ForwardInstantiation

                            ↳ QDP

                              ↳ MNOCProof

                                ↳ QDP

              ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_map1(wv26, wv27, ba) → new_map0(wv26, Succ(new_primPlusNat(wv27)), ba)
new_map(x0, x1, Succ(Zero), Succ(Zero), x4) → new_map(x0, x1, Zero, Zero, x4)
new_map(wv26, wv27, Zero, Succ(wv290), ba) → new_map0(wv26, Succ(new_primPlusNat(wv27)), ba)
new_map(wv26, wv27, Zero, Zero, ba) → new_map1(wv26, wv27, ba)
new_map(x0, x1, Succ(Zero), Succ(Succ(y_2)), x4) → new_map(x0, x1, Zero, Succ(y_2), x4)
new_map0(Succ(y_3), Succ(x1), x2) → new_map(Succ(y_3), Succ(x1), Succ(Succ(x1)), Succ(Succ(y_3)), x2)
new_map(x0, x1, Succ(Succ(y_2)), Succ(Succ(y_3)), x4) → new_map(x0, x1, Succ(y_2), Succ(y_3), x4)

The TRS R consists of the following rules:

new_primPlusNat(Succ(wv270)) → Succ(wv270)
new_primPlusNat(Zero) → Zero

Q is empty.
We have to consider all (P,Q,R)-chains.
Haskell To QDPs

takeWhile	p []	= takeWhile3 p []
takeWhile	p (x : xs)	= takeWhile2 p (x : xs)

takeWhile1	p x xs True	= x : takeWhile p xs
takeWhile1	p x xs False	= takeWhile0 p x xs otherwise